- предикат высшего порядка
- Mathematics: higher-order predicate
Универсальный русско-английский словарь. Академик.ру. 2011.
предикат высшего порядка
Смотреть что такое "предикат высшего порядка" в других словарях:
Предикат — (от позднелат. praedicatum сказанное) термин логики и языкознания, обозначающий конститутивный член суждения то, что высказывается (утверждается или отрицается) о субъекте. Предикат находится к субъекту в предикативном отношении (см.… … Лингвистический энциклопедический словарь
Список статей по логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия
Слабейшее предусловие — Преобразователи предикатов расширение логики Флойда Хоара, сделанное Э. Дейкстрой. Впервые появившись в [1][1], с помощью этого метода определяется семантика императивного программирования и соответствующего языка. В нём каждой команде языка… … Википедия
Кант Иммануил — Жизненный путь и сочинения Канта Иммануил Кант родился в Кенигсберге (ныне Калининград) в Восточной Пруссии в 1724 г. Отец был шорником, а мать домохозяйкой, шестеро их детей не дожили до зрелого возраста. Кант всегда вспоминал родителей с… … Западная философия от истоков до наших дней
ДОКАЗАТЕЛЬСТВА БЫТИЯ БОЖИЯ — разработанные в философии и богословии теоретические аргументы, обосновывающие средствами человеческого разума необходимость признания существования Бога. В Свящ. Писании ВЗ и НЗ, к рое свидетельствует о Боге и является основанием христ. веры в… … Православная энциклопедия
Кант — (Immanuel Kant, первонач. Cant) основатель философского критицизма, представляющего главную поворотную точку в истории человеческой мысли, так что все развитие философии, если не по содержанию, то по отношению мысли к этому содержанию, должно… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… … Православная энциклопедия
ПОНЯТИЕ — общее имя с относительно ясным содержанием и сравнительно четко очерченным объемом. П. являются, напр., «химический элемент», «закон», «сила тяготения», «астрономия», «поэзия» и т.п. Отчетливой границы между теми именами, которые можно назвать П … Философская энциклопедия
ЕВАНГЕЛИЕ. ЧАСТЬ I — [греч. εὐαγγέλιον], весть о наступлении Царства Божия и спасении человеческого рода от греха и смерти, возвещенная Иисусом Христом и апостолами, ставшая основным содержанием проповеди христ. Церкви; книга, излагающая эту весть в форме… … Православная энциклопедия
Россия. Русское право: История русского права — А. История русского права. 1) Очерк развития государственных учреждений и источников правообразования до начала XVIII века. Период княжеский, или вечевой. Источники права имеют двоякое значение: это или те творческие силы, которые порождают право … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
